Detecting Semantic Conflicts using Static Analysis

Version control system tools empower developers to independently work on their development tasks. These tools also facilitate the integration of changes through merging operations, and report textual conflicts. However, when developers integrate their changes, they might encounter other types of conflicts that are not detected by current merge tools. In this paper, we focus on dynamic semantic conflicts, which occur when merging reports no textual conflicts but results in undesired interference - causing unexpected program behavior at runtime. To address this issue, we propose a technique that explores the use of static analysis to detect interference when merging contributions from two developers. We evaluate our technique using a dataset of 99 experimental units extracted from merge scenarios. The results provide evidence that our technique presents significant interference detection capability. It outperforms, in terms of F1 score and recall, previous methods that rely on dynamic analysis for detecting semantic conflicts, but these show better precision. Our technique precision is comparable to the ones observed in other studies that also leverage static analysis or use theorem proving techniques to detect semantic conflicts, albeit with significantly improved overall performance

Mortalidade por doença renal crônica secundária à hipertensão no Brasil: um estudo do “Global Burden of Disease”

Background and Objectives: Chronic kidney disease (CKD) is one of the main complications resulting from arterial hypertension, and a recent increase in the incidence and prevalence of the disease has been reported, which can lead to an increase in mortality and complications resulting from the disease. Thus, the objective of study is to describe the variations in mortality from CKD secondary to arterial hypertension, in Brazil, between the years 1990 to 2019. Methods: Epidemiological study, with a quantitative approach and descriptive character, which analyzed data from the “Global Burden of Disease Study” (GBD) tool. Results: In all of Brazil’s federative units, the estimate of deaths from CKD secondary to hypertension increased, with the Southeast region having the highest estimates. The States of Rio de Janeiro, Rio Grande do Sul, and Paraíba lead with the highest mortality rates. Regarding sex, in all years, higher rates were observed in males, however, over the years, this difference has been reduced. The age group of ≥70 years was the most affected, standing out with the highest death rates. Conclusion: the burden of CKD in Brazil has increased in the last 30 years; among the regions of the country, the Southeast recorded the highest estimates of deaths in all the years analyzed, being mainly higher among men.Justificación y objetivos: La enfermedad renal crónica (ERC) es una de las principales complicaciones derivadas de la hipertensión arterial, y en los últimos años se ha reportado un aumento en la incidencia y prevalencia de la enfermedad, lo que puede conducir a un aumento de la mortalidad y de las complicaciones derivadas de esta, por lo tanto, el objetivo del estudio es describir las variaciones en la mortalidad por ERC secundaria a la hipertensión arterial en Brasil entre los años 1990 a 2019. Métodos: Estudio epidemiológico, con enfoque cuantitativo y carácter descriptivo, que analizó datos de la herramienta Global Burden of Disease Study (GBD). Resultados: En todas las unidades de la federación, aumentó la estimación de muertes por ERC secundaria a la hipertensión arterial, con la región Sudeste presentando las estimaciones más altas. Los estados de Rio de Janeiro, Rio Grande do Sul y Paraíba lideran con las tasas de mortalidad más altas. Con respecto al sexo, en todos los años se observaron mayores tasas en los varones, sin embargo, con el paso de los años, esta diferencia se ha ido reduciendo. El grupo de edad de ≥70 años fue el más afectado, destacándose con las tasas de mortalidad más altas. Conclusión: la carga de ERC en Brasil ha aumentado en los últimos 30 años; de las regiones del país, el Sudeste registró las mayores estimaciones de muertes en todos los años registrados entre los analizados, siendo principalmente mayor entre los hombres.Justificativa e objetivos: A doença renal crônica (DRC) é uma das principais complicações decorrentes da hipertensão arterial. Nos últimos anos, tem sido relatado um aumento na incidência e prevalência da doença, o que pode levar ao aumento da mortalidade e das complicações decorrentes da doença. Assim, o objetivo deste estudo foi descrever as variações da mortalidade por DRC secundária à hipertensão arterial no Brasil entre 1990 e 2019. Métodos: Trata-se de um estudo epidemiológico, de abordagem quantitativa e caráter descritivo, que analisou dados da ferramenta Global Burden of Disease Study (GBD). Resultados: Em todas as unidades da federação, a estimativa de mortes por DRC secundária à hipertensão apresentou aumento, a região Sudeste apresentando as maiores estimativas. Os estados do Rio de Janeiro, Rio Grande do Sul e Paraíba lideram as pesquisas com as maiores taxas de mortalidade. No que diz respeito ao sexo, em todos os anos foram observadas maiores taxas de DRC em indivíduos do sexo masculino; contudo, nota-se que tem ocorrido uma redução dessa diferença. A faixa etária de ≥70 anos foi a mais acometida, destacando-se com as maiores taxas de mortes. Conclusão: a carga de DRC no Brasil aumentou nos últimos 30 anos. Entre as regiões do país, o Sudeste registrou as maiores estimativas de mortes em todos os anos analisados, principalmente de homens

Development of a Mobile Application for Blood Donation Management

The creation of an application that deals with blood donation in order to facilitate knowledge about the act to its users, whether they are donors or not. Although the blood donation rate in Brazil is stable, there is always a search for ways to increase this incentive for donors to stay at or improve this level. Through a qualitative research, it was determined a knowledge of possible donors, their characteristics and limitations to donate and the benefits presented to both, the patient and the donor. The prototype presents the registration screen, information about benefits and general information about updating the registration, scheduling possible donations and how the process works. It has been found that most people have a certain fear about donating blood, as they are unaware of how the process works, and are supposed to cause some kind of harm to their body

A PERCEPÇÃO E A LEMBRANÇA EM RASOS D’ÁGUA E BIOLOGIA DO HOMEM

Propõe-se fazer uma análise comparada entre a primeira parte do livro Rasos d’água, intitulada “Copo de mar”, da poetisa brasileira Astrid Cabral, com a sessão “Caminho de candeeira” do livro Biologia do homem, do poeta português Jorge Reis-Sá, a respeito da relação afetiva e familiar. Como fundamentação teórica, será empregada a ideia de memória e da correlação deste termo à vivência, à percepção, à lembrança e ao papel do corpo, discutidos pelo filósofo francês Henri Bergson no livro Memória e vida, enfatizados no capítulo “A memória ou os graus coexistentes da duração”. Complementa-se a análise com breve fortuna crítica dos poetas destacados acima

Hybrid Mobile Prototype for Evapotranspiration Calculation Using Raspberry Pi

The hybrid mobile prototype proposes to assist the farmer in obtaining crop evapotranspiration data reducing the effort in calculating them. In warm weather places, it is of the fundamental importance to verify a prototype for the calculation of evapotranspiration, thus favoring sustainable irrigation. To show this important discussion, a study was conducted highlighting the advantages of using the methods for calculating evapotranspiration cited by Hargreaves Samani and the Penman Monteith method. There is the need to use tools that automate the evaporation method, being able to access them on mobile devices with Android and iOS systems, and also notebook, bringing advantages and relevant contributions to the scientific community and potential users. The benefits of using automated irrigation can serve as basis for more conscious and sustainable decision making

VANTAGENS E LIMITAÇÕES DE SOLUÇÕES ANTISSÉPTICAS NA HIGIENIZAÇÃO E PREVENÇÃO FRENTE AO NOVO CORONAVÍRUS

Desde que o vírus causador da COVID-19 foi descoberto, os órgãos sanitários e de saúde vêm buscando maneiras de conter de forma eficiente a disseminação do SARS-CoV-2. Atualmente, a principal forma de prevenção contra o vírus consiste principalmente em isolamento social e a higienização de modo geral. Desta forma, este trabalho teve por objetivo avaliar o estado da arte das principais substâncias e produtos antissépticos utilizadas para desinfecção, demonstrando as limitações e vantagens contra o SARS-CoV-2. Para isso, foi realizada uma busca de artigos científicos publicados principalmente em diferentes bancos de dados, utilizando como descritores “COVID-19”, “coronavírus” e “soluções antissépticas”. Embora as soluções hidroalcoólicas ainda sejam as mais utilizada para higienização, observou-se que várias soluções alternativas e de baixo custo podem ser utilizadas para a higienização geral na prevenção do coronavírus, inclusive, em substituição do álcool em gel. Todavia, para serem igualmente eficientes, tais soluções devem estar nas concentrações indicadas pelos órgãos reguladores de saúde. Também se observou que ainda não existem estudos comprovando a eficácia da maioria dos desinfetantes diretamente contra o SARS-CoV-2, sendo essas conclusões baseadas em estudos realizados com outros vírus da família Coronavidae. Portanto, para maiores comprovações da eficácia de desinfetantes contra o novo coronavírus, mais ensaios devem ser realizados

AVALIAÇÃO DE MÉTODOS DE DESCONTAMINAÇÃO PARA OBTENÇÃO DE CULTURAS PURAS DE LEPTOSPIRAS A PARTIR DE AMOSTRAS MISTAS COM Spirillum spp.

It is challenging to obtain pure cultures of Leptospira from environmental samples, mainly due to the presence of accompanying microbiota that can contaminate cultures, highlighting bacteria of the genus Spirillum that have characteristics similar to leptospires. Thus, cannot be eliminated by the most common decontamination techniques during leptospires isolation process. The purpose of this study was to evaluate five decontamination methods to obtain pure cultures of Leptospira from mixed samples with Spirillum spp. We collected ten samples from untreated domestic sewage dumped of to streets in Macapá city – Brazilian Amazon, and submitted to bacteriological culture for Leptospira isolation. The presence of leptospires was confirmed by visualization under dark-field microscopy and by 16S PCR. In the samples in which Spirillum was observed, five methods of decontamination were tested: 1 – Membrane filtration (0.20 μm and 0.22 μm); 2- Culture in selective medium for Leptospira spp.; 3- Centrifugation; 4- Serial dilution and 5- Plating on solid EMJH medium. Out of all 10 samples, five were positive for leptospires and in three there was the simultaneous detection of leptospires and Spirillum. Plating on solid EMJH medium (5) was the most efficient method, decontaminating all three mixed cultures. Only one culture was decontaminated by the technique of culture in selective medium for Leptospira spp. (2), and the other methods were ineffective. In conclusion, plating on solid EMJH medium method can be used to obtain pure cultures of Leptospira spp. from environmental samples containing Spirillum spp.Keywords: Leptospira; decontamination; mixed cultures; Spirillum.É um desafio obter culturas puras de Leptospira a partir de amostras ambientais, principalmente devido à presença de microbiota acompanhante que pode contaminar culturas, destacando bactérias do gênero Spirillum que possuem características semelhantes às leptospiras. Assim, não pode ser eliminado pelas técnicas mais comuns de descontaminação durante o processo de isolamento das leptospiras. O objetivo deste estudo foi avaliar cinco métodos de descontaminação para obter culturas puras de Leptospira a partir de amostras mistas com Spirillum spp. Foram coletadas dez amostras de esgoto doméstico não tratado descartado nas ruas da cidade de Macapá - Amazônia Brasileira, e submetidas à cultura bacteriológica para isolamento de Leptospira. A presença de leptospiras foi confirmada por visualização em microscopia de campo escuro e por 16S PCR. Nas amostras em que Spirillum foi observado, foram testados cinco métodos de descontaminação: 1 - Filtragem por membrana (0,20 μm e 0,22 μm); 2- Cultura em meio seletivo para Leptospira spp.; 3- Centrifugação; 4- Diluição em série e 5- Plaqueamento em meio sólido EMJH. Das 10 amostras, cinco foram positivas para leptospiras e em três houve a detecção simultânea de leptospiras e Spirillum. Plaqueamento em meio sólido EMJH (5) foi o método mais eficiente, descontaminando as três culturas mistas. Apenas uma cultura foi descontaminada pela técnica de cultura em meio seletivo para Leptospira spp. (2), e os outros métodos foram ineficazes. Em conclusão, o método de plaqueamento em meio sólido EMJH pode ser usado para obter culturas puras de Leptospira spp. de amostras ambientais contendo Spirillum spp.Palavras-chave: Leptospira, descontaminação, culturas mistas, Spirillum

Screening for Novel LOX and SOD1 Variants in Keratoconus Patients from Brazil

Purpose: To investigate the presence of the variants of lysyl oxygenase (LOX) and superoxide dismutase 1 (SOD1) genes in Brazilian patients with advanced keratoconus. Methods: Donor genomic DNA extracted from blood samples was screened for 5’UTR, exonic LOX, and SOD1 variants in a subset of 26 patients presenting with advanced keratoconus (KISA > 1000% and I–S > 2.0) by Sanger sequencing. The impact of non-synonymous amino acid changes was evaluated by SIFT, PMUT, and PolyPhen algorithms. The Mutation Taster tool was used to evaluate the potential impact of formation of new donor and acceptor splice sites in the promoter region of affected volunteers carrying sequence variants. A 7-base SOD1 deletion (IVS2 + 50del7bp) previously associated with keratoconus was screened in 140 patients presenting classical keratoconus by gel fragment analysis, and positive samples were sequenced for confirmation. Results: We found an unreported missense variant in LOX exon 6 in one heterozygous patient, leading to substitution of proline with threonine at residue 392 (p. Thr392Pro) of LOX protein sequence. This mutation was predicted to be potentially damaging to LOX protein. Another LOX variant, Arg158Gln, was also detected in another patient but predicted to be non-pathogenic. Two additional new polymorphisms in LOX 5’UTR region (–116C > T and –58C > T) were found in two patients presenting with advanced keratoconus and were predicted to modulate or create donor/acceptor splice sites in LOX transcripts. Additionally, SOD1 deletion was detected in one patient presenting with severe keratoconus, not in control samples. Conclusion: We described three novel LOX polymorphisms identified for the first time in Brazilian patients with advanced keratoconus, as well as a previously described SOD1 deletion strongly associated with keratoconus. A possible role of these variants in modulating transcript levels in the cornea of affected individual requires further investigation

ESPORTES ADAPTADOS NO ENSINO MÉDIO

Pretende-se neste artigo abordar aspectos teóricos e práticos que norteiam a prática da atividade física adaptada na escola, afim de apresentar alternativas a sua aplicação. Utilizamos o espaço da escola que nos foi concedido por intermédio do estágio supervisionado, contando com o apoio do senhor professor Luiz de França que nos auxiliou quanto ao empréstimo de materiais e aconselhamento quanto à metodologia a ser trabalhada para o desenvolvimento pleno do trabalho com a turma, contamos também com o apoio do professor preceptor que nos auxiliou no trato com a turma e na aplicação das atividades

Information Security in the use of drones: Research Tools To Maintain Route Integrity

Drones have increasingly become part of many people\u27s daily lives and can have many uses, but there are inherent risks to their use that cannot be ignored.  This article aims to present some vulnerability risks present in drones and find tools to ensure the integrity of routes traveled by a drone